Assert $u$ $\in$ \{$j$:$T$$\mid$ $P$($j$)\}